body, p, table, td, div, form {
	font-family: chicago, verdana, sans-serif;
	font-size: 1em;
	font-style: normal;
}
body {
	margin: 4px;
	padding: 10px;
	border: 3px dotted darkgray;
}
h2 {
	color: darkgray;
	margin: 10px 0;
}
div.hr {
	width: 100%;
	margin: 20px -4px;
	padding: 0;
	border-bottom: 3px dotted darkgray;
}
a {
	display: block;
	text-decoration: none;
	float: right;
	font-weight: bold;
	font-size: .9em;
	color: #888;
	border: 0;
	margin-right: 20px;
}
a:hover {
	text-decoration: none;
	border-bottom: 2px dotted darkgray;
}
textarea {
	background: #f9f9f9;
	border: 2px solid darkgray;
	border-right: 1px solid darkgray;
	border-bottom: 1px solid darkgray;
	padding: 8px 5px 5px 12px;
	margin-top: 4px;
	font-family: "courier new", courier, monospace;
	color: #888;
}
input[type=submit] {
	background: #eee;
	font-family: chicago, verdana, sans-serif;
	font-size: .9em;
	font-weight: bold;
	color: #888;
	border: 0;
	margin: 10px;
	padding: 6px 8px;
}
.output table td {
	padding: 5px 10px;
	border: 1px solid black;
	line-height: 1.5em;
}

